COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00016 ENDMK
C⊗;
.DEVICE XGP;
.turn on "%";
.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;⊃
.MACRO TABIT2(X,Y)⊂TURN ON "\" NOFILL TABS X,Y;⊃
.FONT 1 "BASL30";		<<normal font>>
.FONT 2 "BASB30";		<<headings>>
.FONT 3 "basi30";
.font 4 "grk30"
.font 5 "metl"
.font 6 "mets"
.double space
.group skip  6
.once center
%2RESUME OF JOHN R. ALLEN%1
.GROUP SKIP 4
.begin tabit1(20);
%2BORN:%1\September 2, 1937

%2ADDRESS:%1\18215 Bayview Drive
    %1\Los Gatos, Ca 95030

%2PHONE:%1\(408) 353-3857
.end
.begin tabit1(10); 

%2EDUCATION:%1
\B.A. in Mathematics (with honors),
\Michigan Technological University, Houghton Michigan, 1959

\Graduate work in Mathematics
\University of Chicago, 1959-1960

\M.A. in Mathematics, 
\University of California, Santa Barbara, California, 1962

\Graduate work in Computer Science, 
\Stanford University, Stanford, California, 1966-1969
.end

.begin tabit2(7,17)

%2EXPERIENCE:%1
\1959-1960 \Burroughs Corp.
\\Sierra Madre, California
\\Mathematician and Mathematical programmer
\\(design and analysis of statistical algorithms;
\\ machine language programming of various mathematical 
\\ problems)

\1963-1965\General Motors Research Labs
\\Goleta, California
\\mathematical and systems programmer
\\(mathematical analysis related to  ballistic
\\ missles and encoding of resulting algorithms;
\\ general mathematical programming; 
\\ development of LISP for IBM7040;
\\ maintenance and modification of 7040 operating system)

.next page

\1965-1970\Stanford University
\\Stanford, California
\\ 1965-1966 systems programmer, Stanford AI Lab
\\ (design and develop the first display-based time-sharing system;
\\  implement the Culler-Fried system on this machine;
\\  maintenance and extension of the PDP-6 operating systems)

\\ 1966-1968 student research assistant, Stanford AI Lab
\\ (develop Stanford LISP, and maintain system;
\\  design and implement the Stanford LISP editor;
\\  design and implement the first arbitrary-precision numeric 
\\   package and  the LISP interface to Fortran and 
\\   machine-language subsystems;
\\  Research in mathematical logic, resolution theory, 
\\   and interactive theorem-proving)

\\ 1969-1970 systems programmer and researcher, Stanford 
\\  Institute for Mathematical Studies in the Social Sciences
\\ (continuing research on theorem-proving, and applications to
\\  educational areas; general consultant on PDP-10 systems.

\1970-1972\University of California
\\Computer Science Department
\\Los Angeles, California
\\Assistant professor of computer science
\\(teach courses in basic machine and systems organization,
\\  data structures, compiler construction, and semantics of
\\  programming languages. 
\\ Design an advanced data structures course based on 
\\  computation-theoretic notions.
\\ Organize graduate seminar on extensible
\\  languages, correctness, and language design.
\\ Advising of graduate and undergraduate students, thesis 
\\  advising, and examiner in AI qualification for the PhD.
\\ Research in theorem-proving and language design)

\1972-1975\Stanford University
\\Stanford, California
\\Research Associate in Computer Science
\\(research in the theory and applications of theorem-proving,
\\ automatic programming and program verification.
\\Design and implementation of an advanced theorem-prover.)

.next page

\1975-1978\Hewlett-Packard
\\Research Laboratories
\\Palo Alto, California
\\Member, Technical Staff
\\(specify a machine architecture that would be attractive
\\  to the AI community; 
\\ educate the management and staff about the needs and 
\\  expectations of the AI community;
\\ outline applications of AI technology to future
\\  products;
\\ specify the architecture for a LISP processor;
\\ specify a bit-mapped terminal system which would support
\\  a multiple-font document production system;
\\ design and implement an operating system  and full screen
\\  text editing system for a prototype HP9845 -- a desktop
\\  16-bit dual processor computer with bit-mapped display;
\\ specify a LISP implementation for this desktop machine)

\1978-1979\ Signetics Corporation
\\Microprocessor Division
\\Sunnyvale, California
\\Senior Product Engineer
\\(specify the human interface for the next generation develop-
\\  ment machine;
\\ specify a prototype development system and implement a soft-
\\  ware breadboard on that machine;
\\ participate in the development of a system implementation
\\  language for the new system;
\\ specify the methodology for the development and testing of
\\  software products)

\1979-present  The LISP Company
\\PO Box 487
\\Redwood Estates, California
\\Founder
\\(design and implement TLC-LISP for the Z-80. This LISP is a 
\\  large subset of MIT's LISP machine LISP, and I expect it to
\\  command a place in the language market much like that 
\\  enjoyed by UCSD's Pascal. The implementation  supports
\\  18-bit addresses, allowing either bank switching or memory-
\\  mapping outside the 64KByte space of the Z-80. A window 
\\  system is also availlable to support interactive program 
\\  development tools and user applications.
\\ Implementation of LISP and Artificial Intelligence systems on
\\  several of the new architecutures.
\\ Selected by the Navy group that funded UCSD's  Pascal to 
\\  develop LISP on 16-micro computers.)

.next page
%2OTHER EXPERIENCE:%1
\1969 Invited Participant, Machine Intelligence Workshop
\\University of Edinburgh, Scotland

\1973 and 1974, Guest Lecturer, 
\\Information Sciences Department,
\\University of California,
\\Santa Cruz, California
\\(Teaching several short courses on LISP and abstract data 
\\ structures in their graduate workshop)

\1975 and 1976, Lecturer,
\\Mathematics Department
\\San Jose State University
\\San Jose, California
\\(Develop and teach one-semester graduate courses using
\\  my book, %3Anatomy of LISP%1;
\\ organize and teach graduate seminar on the mathematical
\\  theory of computation;
\\ specify and guide  thesis work of a graduate mathematics 
\\  student)


\1979, Guest Lecturer,
\\Information Sciences Department,
\\University of California,
\\Santa Cruz, California
\\(Teaching three-week segment on LISP in  the Artificial 
\\  Intelligence course;
\\ lecturing on storage management and garbage collection
\\  in the Data Structures course)

\1980, General Chairman and Program Chairman,
\\1980 International LISP conference

\Invited Speaker, ACM-sponsored Sigsmall-Sigpc Conference
\\Palo Alto, Ca.

\1981-present, Consultant on LISP architectures (corporate names on request)

\Organizing Special undergraduate course for Santa Clara
\ University --The Art of Computer Science-- including the 
\ development of personal network for interactive programming

\Organizing Session  on LISP and object-oriented languages,
\ and their applications, for the 1981 West Coast Computer Faire.

\Invited Speaker, West Coast Computer Faire,
\\San Francisco, Ca.

\Lecturer, Santa Clara University
\\Santa Clara, California
\\(Teaching graduate courses in Functional Programming and
\\  and Artificial Intelligence;


%2CURRENT ACTIVITY:%1
\Writing an introductory LISP book to complement the TLC-LISP 
\ implementation.

\Writing an intermediate-level text of functional and object-oriented 
\ programming.

\Organizing a Faculty seminar for the School of Humanities program in
\ computer literacy. This is in preparation for an undergraduate literacy
\ course.

\Preparing a LISP course  for 1981 Western Institute in Computer
\ Science, to be held at Santa Clara University.

\Invited lecture, ACM Golden Gate Chapter, on Application of AI to
\ the organization of very large data bases.

\Invited Participant, Asilomar Workshop in Micro-computing

\Member of the program committee, 1982 LISP Conference.

%2PUBLICATIONS:%1
\%3Thor: A Display-based Time-sharing System%1, SJCC, 1967, with
\  John McCarthy, Dow Brian, and Gary Feldman.

\%3Alvine: A LISP editor%1, Stanford AI Laboratory Operating 
\  Note, 1968.

\%3An Interactive Theorem Prover%1, Machine Intelligence, Vol. 5,
\  1970, with  David Luckham.

\%3Anatomy of LISP%1, McGraw-Hill, 1978.

\%3Don't Overlook LISP%1, Guest Editorial for the March 1979 
\  %3BYTE%1 magazine. 

\Guest Editor of the %3BYTE%1 issue (August 1979) on LISP-related
\ activities in computer science:  applications, implementations,
\ extensions, and theory. Wrote the introductory LISP article for 
\ that issue.

.end